COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	∀E walk home,desk,car,S0
C00003 ENDMK
C⊗;
∀E walk home,desk,car,S0;
∀E drive county,home,airport,walk(car,S0);
∀E attrans I,car,airport,drive(airport,walk(car,S0));
TAUT ∀x.(drivable(x,walk(car,S0))≡drivable(x,S0)) at1,at2,at3,walkable,1;
TAUT ∀x y.(¬(x=I)⊃(at(x,y,walk(car,S0))≡at(x,y,S0))) at1,at2,at3,walkable,1;
∀E ↑↑ county;
∀E ↑↑ car,home;
∀E ↑↑↑ home,county;
∀E ↑↑↑↑ airport,county;
TAUTEQ 2:#2#2#2#2 at1 at2 at3,at4,at5,notI,walkable,drivable,1:↑;
∀E ↑ I,car;
TAUTEQ at(I,airport,drive(airport,walk(car,S0))) walkable drivable at1 at2
at3 at4 at5 notI,1:↑;